home *** CD-ROM | disk | FTP | other *** search
/ Aminet 1 / Aminet - June 1993 [Walnut Creek].iso / ab20 / languags / ada / adaed10a.lzh / Ada / Examples / Dine / philspec.ada < prev    next >
Encoding:
Text File  |  1992-03-03  |  646 b   |  21 lines
  1. PACKAGE Phil IS
  2. -- Specification for dining philosopher task.
  3. -- Assumption is that head waiter will name a philosopher and assign
  4. -- the chopsticks to be used by that philosopher.
  5. -- Philosopher states are used by monitoring program (Head_Waiter).
  6. -- Michael B. Feldman, The George Washington University, November 1990.
  7.  
  8.   
  9.   TASK TYPE Philosopher IS
  10.     
  11.     ENTRY Come_To_Life (My_ID :      Positive; 
  12.                         Chopstick1 : Positive;
  13.                         Chopstick2 : Positive);
  14.  
  15.   END Philosopher;
  16.  
  17.   TYPE States IS (Breathing, Thinking, Eating, Done_Eating,
  18.                     Got_One_Stick, Got_Other_Stick);
  19.  
  20. END Phil;
  21.